ordering.相关论文
讨论树的度距离排序问题, 确定了这个序中前四个树及其相应的度距离....
本文分析了BDD(BinaryDecisionDiagrams)的基本特征和发展。面向验证和测试的需要,作者提出了含有极值概念的BDD拼接构造方法,为进一步压缩BDD非终端节点的数目,在构造过......